<body>
  MiniDraw hotspot implementations to make a visual graphical user interface
  to the HotTargui framework.
</body>